Theoremproving machine
[计] 定理证明机
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
He knows all there is to know,
他无所不知，
Every dog has his day, and every man his hour.
人人都有得意的日子。
I'm going to see Uncle Wang.
我打算去看望王叔叔。